package programs;

import java.util.ArrayList;
import program.*;
import traces.*;

public class d21 {		

public static Main create(){
	int i= 0;
    ArrayList<Actor> actors= new ArrayList<Actor>();
	//true
	                                  
	ObjectClass aClass=new ObjectClass("a");
	Actor a = new Actor("a", aClass);   
	actors.add(a);                                                 
	//true
	                                  
	ObjectClass bClass=new ObjectClass("b");
	Actor b = new Actor("b", bClass);   
	actors.add(b);                                                 
	//true
	//true
	//true
	
	/* LOOP: loop_id2 */
	BlockList bloc_loop_id2 = new BlockList();
	
	Call m1_id3 = new Call(new Statement("S" + i++,a,new Method("m1",new ArrayList<ObjectInstance>(),bClass),b));
	
	Call m1_id4 = new Call(new Statement("S" + i++,a,new Method("m1",new ArrayList<ObjectInstance>(),bClass),b));
	
	//add(s) for loop_id2
	bloc_loop_id2.add(m1_id3);
	bloc_loop_id2.add(m1_id4);
	Loop loop_id2 = new Loop(bloc_loop_id2);
	ArrayList<Block> entry_point_id5 = new ArrayList<Block>();
entry_point_id5.add(loop_id2);
return new Main(entry_point_id5, actors, 200);
} 

public static void main(String[] agrs) {
	Main sd=create();
	boolean ok=sd.saveModel("d2");
	if (ok){
		sd.genereAllTraces("d2", 100);
	}
	
}
}

